$\forall$$p$:FinProbSpace, $C$:p{-}open($p$). measure($C$) = 1 $\in$ $\mathbb{P}$